PadicNumber ^ ZZ -- raise a p-adic number to an integer power

• Operator: ^

• Usage:

  x^n

• Inputs:
  • x, a p-adic number,
  • n, an integer,
• Outputs:
  • a p-adic number, x raised to the n-th power;

i1 : (QQ_7 3)^2

o1 = 2 + 1*7^1

o1 : QQ  (of precision 20)
       7

i2 : (QQ_7 3)^(-1)

o2 = 5 + 4*7^1 + 4*7^2 + 4*7^3 + 4*7^4 + 4*7^5 + 4*7^6 + 4*7^7 + 4*7^8 +
     4*7^9 + 4*7^10 + 4*7^11 + 4*7^12 + 4*7^13 + 4*7^14 + 4*7^15 + 4*7^16 +
     4*7^17 + 4*7^18 + 4*7^19

o2 : QQ  (of precision 20)
       7